
vic_ensure_root_privilege(){
    if [[ $EUID -eq 0 ]]; then
        return
    fi
    echo "WARN: will switch to root privilege!" 1>&2
    sudo $0 "$@"
    exit "$?"
}
